jade.content.schema
Class IRESchema

java.lang.Object
  |
  +--jade.content.schema.ObjectSchema
        |
        +--jade.content.schema.ContentElementSchema
              |
              +--jade.content.schema.IRESchema

public class IRESchema

extends ContentElementSchema

Author:

Federico Bergenti - Universita` di Parma

Field Summary

static java.lang.String	ALL
static java.lang.String	ANY
static java.lang.String	BASE_NAME
static java.lang.String	IOTA
static java.lang.String	KIND
static java.lang.String	PROPOSITION
static java.lang.String	QUANTIFIED_VARIABLE
static java.lang.String	VARIABLE

Fields inherited from class jade.content.schema.ContentElementSchema

BASE_NAME

Fields inherited from class jade.content.schema.ObjectSchema

MANDATORY, OPTIONAL

Method Summary

static ContentElementSchema	getBaseSchema() Retrieves the base schema.
AbsObject	newInstance() Creates a new instance.

Methods inherited from class jade.content.schema.ObjectSchema

addBaseSchema, addElement, addElement, getNames, getSchema, getTypeName, isAttribute, isMandatory

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ANY

public static final java.lang.String ANY

IOTA

public static final java.lang.String IOTA

ALL

public static final java.lang.String ALL

BASE_NAME

public static final java.lang.String BASE_NAME

QUANTIFIED_VARIABLE

public static final java.lang.String QUANTIFIED_VARIABLE

KIND

public static final java.lang.String KIND

VARIABLE

public static final java.lang.String VARIABLE

PROPOSITION

public static final java.lang.String PROPOSITION

Method Detail

getBaseSchema

public static ContentElementSchema getBaseSchema()

Retrieves the base schema.

Returns:

the base schema.

newInstance

public AbsObject newInstance()

Creates a new instance.

Overrides:

newInstance in class ContentElementSchema

Returns:

the new instance.